Leo II - PDFSEARCH.IO - Document Search Engine

Leo II
Results: 62

#	Item
21	LEO-II - A Cooperative Automatic Theorem Prover for Classical Higher-Order Logic⋆ Christoph Benzm¨ uller1 , Lawrence C. Paulson2 , Frank Theiss1 , and Arnaud Fietzke3 1 Add to Reading List Source URL: www.boldsolutions.de Language: English - Date: 2011-03-22 14:11:27 Automated theorem proving Vampire Resolution First-order logic Term indexing Unification FO Proof assistant Isabelle Logic Mathematics Mathematical logic
22	Progress Report on Leo-II, an Automatic Theorem Prover for Higher-Order Logic? Christoph Benzm¨ uller1,2 , Larry Paulson1 , Frank Theiss2 , and Arnaud Fietzke2 1 Add to Reading List Source URL: www.boldsolutions.de Language: English - Date: 2011-03-22 14:11:07 Mathematics Formal methods Resolution Lambda calculus First-order logic Logic programming Unification Vampire Simply typed lambda calculus Theoretical computer science Automated theorem proving Mathematical logic
23	Term Indexing for the LEO-II Prover Frank Theiß1 Christoph Benzm¨ uller2 1 FR Informatik, Universit¨at des Saarlandes, Saarbr¨ Add to Reading List Source URL: www.boldsolutions.de Language: English - Date: 2011-03-22 14:12:16 Science Searching Mathematical notation Predicate logic Theoretical computer science Free variables and bound variables De Bruijn index De Bruijn notation Variable Mathematics Lambda calculus Information science
24	The LEO-II Project Christoph Benzm¨uller⋆† , Larry Paulson⋆ Frank Theiss† , Arnaud Fietzke† † Add to Reading List Source URL: www.boldsolutions.de Language: English - Date: 2011-03-22 14:11:24 Mathematical logic Isabelle Proof assistant Vampire SPASS HOL Higher-order logic First-order logic Resolution Theoretical computer science Logic Automated theorem proving
25	SUMMARIA AFH[removed]), FASC. 3-4 CARLOS MATEO MARTÍNEZ RUIZ. – Odón Rigaud y la cuestión del poder: Lectura super II Librum Sententiarum, d[removed]The article is a presentation and annotated transcription o Add to Reading List Source URL: www.stisidoresrome.com Language: English - Date: 2011-12-01 03:52:31 Clare of Montefalco Pope Leo XIII Montefalco Walter of Bruges Christianity Francis of Assisi Poor Clares
26	CoP13 Prop. 6 EXAMEN DE LAS PROPUESTAS DE ENMIENDA A LOS APÉNDICES I Y II A. Propuesta Transferir Panthera leo del Apéndice II al Apéndice I, de conformidad con los párrafos A. i) y ii) (para las poblaciones de Áfri Add to Reading List Source URL: cites.org Language: Spanish - Date: 2013-09-10 14:53:49
27	The New Stats Engine Leo Pekelis∗1,2 , David Walsh†1,2 , and Ramesh Johari‡1,3 1 Optimizely Department of Statistics, Stanford University Add to Reading List Source URL: pages.optimizely.com Language: English - Date: 2015-01-23 22:30:44 Statistical power Statistical significance Type I and type II errors P-value Null hypothesis Post-hoc analysis Likelihood-ratio test Multiple comparisons Sample size determination Statistics Hypothesis testing Statistical hypothesis testing
28	budapest ii. kerületi polgármesteri hivatal pénzügyi iroda adócsoport[removed]Budapest, Frankel Leó út 7-9. Add to Reading List Source URL: masodikkerulet.hu Language: Hungarian - Date: 2015-01-02 09:19:24
29	HON-H[removed]Ideas & Experience II Edward Gubar TuTh 4-5:15 p.m. HU 111 “What then must we do?” Leo Tolstoy (quoting Luke) asked in 1886, writing about greed, exploitation, and poverty in the slums of Add to Reading List Source URL: www.indiana.edu Language: English - Date: 2013-10-16 12:38:20 Existentialists Metaphysics Anti-Christianity Determinists Friedrich Nietzsche Hellenists Sigmund Freud Leo Tolstoy Will Philosophy Ethics Continental philosophy
30	HON-H[removed]Ideas & Experience II Edward Gubar TuTh 11:15 a.m.-12:30 p.m. HU 111 “What then must we do?” Leo Tolstoy (quoting Luke) asked in 1886, writing about greed, exploitation, and poverty in the slums of Add to Reading List Source URL: www.indiana.edu Language: English - Date: 2013-10-17 08:16:43 Existentialists Metaphysics Anti-Christianity Determinists Friedrich Nietzsche Hellenists Sigmund Freud Leo Tolstoy Will Philosophy Ethics Continental philosophy

UPDATE